protocol trans_WrongName2 {

parent:
    async Msg();
    async __delete__();

state S1:
    answer Msg goto S1;
    recv __delete__;
};
